Data Dependent Circuit for Subgraph Isomorphism Problem

نویسندگان

  • Shuichi Ichikawa
  • Shoji Yamamoto
چکیده

The subgraph isomorphism problem has various important applications, although it is generally NP-complete and difficult to solve. This paper examines the feasibility of a data dependent circuit for the subgraph isomorphism problem, which is particularly suitable for FPGA implementation. For graphs of 32 vertices, the average logic scale of data dependent circuits is only 5% of the corresponding data independent circuit. The circuit is estimated to be 460 times faster than the software for 32 vertices. Even if the circuit generation time is included, a data dependent circuit is expected to be two times faster than software when there are 32 vertices. For larger graphs, the performance gain would be far larger. 1 Subgraph Isomorphism Problem The subgraph isomorphism problem is a simple decision problem. Given two graphs Gα and Gβ , it is determined whether Gα is isomorphic to any subgraph of Gβ . For example, see Figure 1. In this figure, Gβ has a subgraph that is isomorphic to Gα, while Gγ does not. The subgraph isomorphism problem has many applications, including scene analysis in computer vision and search operation in chemical structural formula database. However, the subgraph isomorphism problem is generally NP-complete [1] and computationally difficult to solve. To solve the subgraph isomorphism problem practically, several algorithms have been proposed. Ullmann [2] proposed a depth first search algorithm with a

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Data Dependent Hardware for Subgraph Isomorphism Problem

Subgraph isomorphism problem has various important applications, while it is generally NP-complete and difficult to solve. Though Ullmann’s algorithm can be implemented by parallel hardware to accelerate the execution, it requires too much hardware to implement. This paper examines the feasibility of data dependent circuit for subgraph isomorphism problem. Logic gates are generally reducible if...

متن کامل

The Design and Evaluation of Data-Dependent Hardware for Subgraph Isomorphism Problem

Subgraph isomorphism problems have various important applications, while generally being NP-complete. Though Ullmann and Konishi proposed the custom circuit designs to accelerate subgraph isomorphism problem, they require many hardware resources for large problems. This study describes the design of data-dependent circuits for subgraph isomorphism problem with evaluation results on an actual FP...

متن کامل

Trade-Offs in Custom Circuit Designs for Subgraph Isomorphism Problems∗∗∗∗

Many application programs can be modeled as a subgraph isomorphism problem. However, this problem is generally NP-complete and difficult to compute. A custom computing circuit is a prospective solution for such problems. This paper examines various accelerator designs for subgraph isomorphism problems based on Ullmann’s algorithm and Konishi’s algorithm. These designs are quantitatively evaluat...

متن کامل

Towards a Method for VLSI Circuit Reverse Engineering

This paper tackles the VLSI circuit reverse engineering problem. Actual VLSI circuits are made of several millions of transistors or hundreds of thousands of logical gates. Whether it be for circuit verification, functional abstraction, or simply circuit understanding, reverse engineering aims at building a hierarchy from the transistor level, to gate level, to register level, up to more comple...

متن کامل

SubHunter: a high-performance and scalable sub-circuit recognition method with Prüfer-encoding

Sub-circuit recognition (SR) is a problem of recognizing sub-circuits within a given circuit and is a fundamental component in simulation, verification and testing of computeraided design. The SR problem can be formulated as subgraph isomorphism problem. Performance of previous works is not scalable as the complexities of modern designs increase. In this paper we propose a novel Prüfer-encoding...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002